Instances of family ASP_Program_Inclusion solved by preQuantor
QBFEVAL'06

InstanceResultTime
T-adeu-1FAIL0
T-adeu-7FAIL0
T-adeu-8FAIL0
S-adeu-6FAIL0.01
T-adeu-6FAIL0.01
S-edau-3FAIL75.05
S-edau-7FAIL75.24
T-edau-9FAIL81.47
T-adeu-3FAIL81.94
T-edau-2FAIL83.09
T-edau-5FAIL83.37
T-edau-3FAIL83.54
S-edau-0FAIL83.58
T-edau-1FAIL84.28
T-adeu-2FAIL84.43
T-adeu-9FAIL84.77
T-edau-8FAIL87.35
T-adeu-4FAIL87.78
T-edau-4FAIL87.86
T-edau-0FAIL90.46
T-edau-7FAIL91.62
T-adeu-0FAIL92.78
S-edau-8FAIL92.83
S-edau-9FAIL94.75
S-adeu-0FAIL99.67
S-edau-1FAIL113.99
S-edau-6FAIL116.65
T-adeu-5FAIL122.4
S-edau-4FAIL125.91
T-edau-6FAIL128.22
S-edau-5FAIL152.51
S-edau-2FAIL162.74
S-adeu-4FAIL172.38
S-adeu-5FAIL172.78
S-adeu-8FAIL175.03
S-adeu-7FAIL177.27
S-adeu-2FAIL184.24
S-adeu-9FAIL186
S-adeu-3FAIL195.72
S-adeu-1FAIL217.69