Instances of family ASP_Program_Inclusion solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
S-adeu-3FAIL59.27
S-adeu-8FAIL60.19
S-adeu-6FAIL61.56
T-edau-4FAIL64.82
S-adeu-0FAIL65.95
T-adeu-4FAIL66.6
S-adeu-9FAIL67.32
S-edau-4FAIL68.82
S-adeu-4FAIL69.32
T-edau-6FAIL69.47
S-edau-5FAIL69.66
S-edau-2FAIL69.69
S-adeu-2FAIL69.82
S-edau-7FAIL70.4
T-edau-7FAIL70.57
S-adeu-5FAIL70.68
S-edau-9FAIL71.7
T-adeu-7FAIL72.48
T-adeu-6FAIL72.9
S-edau-6FAIL74.21
S-edau-1FAIL74.66
S-adeu-1FAIL74.91
T-adeu-0FAIL75.18
T-edau-2FAIL75.18
S-adeu-7FAIL75.21
T-adeu-8FAIL75.63
T-edau-0FAIL75.93
T-edau-1FAIL75.94
T-edau-8FAIL76.52
T-edau-3FAIL77.16
T-adeu-1FAIL77.95
T-edau-5FAIL79.82
S-edau-0FAIL80.08
S-edau-8FAIL81.89
T-adeu-3FAIL84.59
S-edau-3FAIL84.96
T-adeu-9FAIL95.11
T-edau-9FAIL98.85
T-adeu-5FAIL113.73
T-adeu-2FAIL6000.42