Instances of family ASP_Program_Inclusion solved by caqe-minisat
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
S-edau-43UNSAT2.51
T-edau-23UNSAT3.03
T-edau-20UNSAT3.05
T-edau-18UNSAT3.17
T-edau-8UNSAT3.47
S-edau-30UNSAT4.37
S-edau-7UNSAT4.42
S-edau-8UNSAT4.45
T-edau-2UNSAT6.97
T-edau-24UNSAT9.2
T-adeu-9UNSAT9.37
S-adeu-41UNSAT9.53
S-adeu-49UNSAT9.81
S-edau-23FAIL10.5
T-adeu-39UNSAT12.43
S-edau-29UNSAT17.24
S-adeu-19UNSAT19.74
S-adeu-15UNSAT22.72
T-adeu-15UNSAT26.88
T-adeu-7UNSAT39.31
T-edau-44UNSAT41.36
T-adeu-49UNSAT41.78
S-edau-34UNSAT43.27
S-adeu-47UNSAT49.88
T-adeu-25UNSAT61.61
S-adeu-6UNSAT96.11
S-edau-1UNSAT98.45
S-edau-20UNSAT105.27
T-edau-9UNSAT113.18
T-adeu-10UNSAT128.75
T-edau-26UNSAT393.68
T-adeu-42UNSAT448.73
S-adeu-29FAIL599.68
T-adeu-6FAIL599.68
S-adeu-32FAIL599.68
S-adeu-30FAIL599.7
S-edau-17FAIL599.71
T-adeu-38FAIL599.78
T-edau-6FAIL599.8
S-adeu-28FAIL599.82