Instances of family ASP_Program_Inclusion solved by Quaffle
QBFEVAL'06

InstanceResultTime
T-adeu-6FAIL538.34
T-adeu-7FAIL538.43
T-adeu-4FAIL538.68
T-adeu-8FAIL538.81
T-adeu-9FAIL539.02
T-adeu-1FAIL539.12
T-adeu-5FAIL539.48
T-adeu-0FAIL539.61
T-adeu-3FAIL539.78
T-edau-0FAIL541.94
T-edau-9FAIL543.11
T-edau-4FAIL543.26
T-edau-8FAIL543.32
T-edau-3FAIL543.68
T-edau-2FAIL543.74
T-edau-7FAIL544.14
T-edau-1FAIL544.36
T-edau-5FAIL544.42
T-edau-6FAIL544.54
S-adeu-3FAIL551.11
S-adeu-8FAIL551.19
S-adeu-7FAIL551.41
S-adeu-9FAIL552.57
S-adeu-6FAIL552.69
S-adeu-1FAIL553.26
S-adeu-2FAIL553.45
S-adeu-5FAIL554.58
S-adeu-4FAIL554.64
S-adeu-0FAIL554.71
S-edau-7FAIL555.88
S-edau-6FAIL556.73
S-edau-3FAIL557.15
S-edau-1FAIL557.48
S-edau-2FAIL557.51
S-edau-8FAIL558.11
S-edau-9FAIL558.37
S-edau-4FAIL558.49
S-edau-5FAIL558.49
S-edau-0FAIL558.51
T-adeu-2FAIL5372.53