Instances of family ASP_Program_Inclusion solved by quantor-3.1
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
T-edau-5FAIL101.09
S-edau-5FAIL105.01
S-edau-2FAIL106.14
T-adeu-6FAIL106.37
T-adeu-9FAIL108.9
S-adeu-8FAIL109.22
S-adeu-2FAIL109.62
T-adeu-2FAIL110.39
T-edau-4FAIL110.76
S-adeu-5FAIL111.14
S-edau-1FAIL112.48
T-adeu-4FAIL113.17
S-edau-3FAIL113.43
T-edau-2FAIL113.53
T-edau-1FAIL113.61
S-edau-9FAIL113.94
S-edau-4FAIL114.59
S-edau-6FAIL114.78
T-edau-0FAIL115.36
T-adeu-1FAIL115.61
S-edau-8FAIL115.71
S-edau-7FAIL117.78
T-adeu-0FAIL118.81
T-edau-8FAIL119.26
T-edau-6FAIL120.04
T-edau-3FAIL120.64
S-adeu-1FAIL121.81
T-adeu-7FAIL121.94
S-adeu-6FAIL122.44
S-adeu-3FAIL123.18
S-adeu-4FAIL123.36
S-adeu-9FAIL123.42
S-edau-0FAIL123.48
T-adeu-8FAIL126.27
T-adeu-3FAIL127
S-adeu-7FAIL143.78
S-adeu-0FAIL147.51
T-edau-7FAIL166.95
T-edau-9FAIL172.26
T-adeu-5FAIL196.34