Instances of family ASP_Program_Inclusion solved by yQuaffle
QBFEVAL'06

InstanceResultTime
S-edau-9FAIL525.78
S-adeu-6FAIL526.4
S-edau-6FAIL526.49
S-edau-0FAIL526.72
S-edau-8FAIL527.32
S-adeu-9FAIL527.49
S-edau-1FAIL527.7
S-edau-3FAIL528.09
S-edau-5FAIL528.1
S-edau-2FAIL528.11
S-adeu-0FAIL528.19
S-edau-4FAIL528.66
S-edau-7FAIL529.33
S-adeu-5FAIL530.85
S-adeu-1FAIL531.12
S-adeu-2FAIL532.27
S-adeu-7FAIL533.21
S-adeu-8FAIL533.64
S-adeu-4FAIL533.78
S-adeu-3FAIL533.92
T-edau-5FAIL535.93
T-adeu-8FAIL536.62
T-edau-6FAIL537.66
T-adeu-1FAIL537.96
T-adeu-5FAIL538.26
T-edau-9FAIL538.54
T-edau-8FAIL538.6
T-adeu-9FAIL538.72
T-adeu-4FAIL538.89
T-edau-0FAIL538.95
T-adeu-3FAIL539.91
T-adeu-0FAIL540.55
T-adeu-7FAIL540.59
T-edau-2FAIL540.99
T-edau-1FAIL541.1
T-edau-4FAIL542.61
T-adeu-6FAIL543.75
T-edau-3FAIL543.92
T-edau-7FAIL548.97
T-adeu-2FAIL5707.29