Instances of family ASP_Program_Inclusion solved by QUANTOR
QBFEVAL'06

InstanceResultTime
S-adeu-3FAIL58.91
S-adeu-8FAIL60.87
S-adeu-6FAIL62.08
T-edau-4FAIL63.8
S-adeu-0FAIL64.48
T-adeu-4FAIL64.79
S-adeu-9FAIL67.31
S-adeu-5FAIL67.47
S-edau-4FAIL68.03
S-adeu-4FAIL68.19
S-edau-7FAIL68.31
S-adeu-2FAIL68.47
T-edau-6FAIL68.72
S-edau-2FAIL68.94
T-adeu-6FAIL69.75
T-edau-7FAIL69.79
T-adeu-2FAIL70.02
S-edau-9FAIL72.17
T-edau-1FAIL73
S-edau-1FAIL73.19
S-adeu-7FAIL73.39
S-edau-6FAIL73.62
S-adeu-1FAIL73.81
T-adeu-7FAIL73.85
T-edau-2FAIL73.85
T-adeu-8FAIL74.99
T-edau-0FAIL75.3
T-edau-8FAIL75.49
S-edau-5FAIL76.02
T-edau-3FAIL76.53
T-adeu-1FAIL77.02
T-adeu-0FAIL77.05
S-edau-0FAIL78.36
T-edau-5FAIL78.9
S-edau-8FAIL79.03
S-edau-3FAIL83.89
T-adeu-3FAIL89.48
T-edau-9FAIL95.8
T-adeu-9FAIL100.36
T-adeu-5FAIL111.77