Instances of family ASP_Program_Inclusion solved by openQbf
QBFEVAL'06

InstanceResultTime
T-adeu-9UNSAT1016.68
T-adeu-3UNSAT1026.63
T-adeu-0UNSAT1179.68
T-adeu-7UNSAT1185.74
T-adeu-5UNSAT1205.73
T-adeu-1UNSAT1695.14
T-adeu-2UNSAT1867.91
T-edau-0FAIL6000.69
S-edau-5FAIL6000.81
S-adeu-3FAIL6000.83
S-adeu-0FAIL6000.84
T-edau-4FAIL6000.84
S-adeu-6FAIL6000.84
T-adeu-4FAIL6000.85
S-adeu-5FAIL6000.85
S-edau-4FAIL6000.85
S-edau-2FAIL6000.86
S-adeu-9FAIL6000.87
S-edau-7FAIL6000.87
T-adeu-8FAIL6000.87
S-adeu-7FAIL6000.87
S-adeu-1FAIL6000.88
T-edau-6FAIL6000.88
S-adeu-4FAIL6000.89
S-edau-3FAIL6000.89
S-edau-6FAIL6000.9
T-edau-2FAIL6000.9
S-edau-9FAIL6000.9
T-edau-5FAIL6000.9
S-edau-0FAIL6000.91
T-edau-8FAIL6000.91
T-edau-9FAIL6000.91
S-adeu-8FAIL6000.92
S-adeu-2FAIL6000.92
T-edau-1FAIL6000.92
T-edau-3FAIL6000.93
S-edau-8FAIL6000.93
S-edau-1FAIL6000.93
T-edau-7FAIL6000.93
T-adeu-6FAIL6000.94