Unique instances for QMRes
QBFEVAL'04


InstanceTimeResult
adder-10-sat32.38SAT
adder-4-unsat0.84UNSAT
adder-6-unsat11.93UNSAT
adder-8-unsat85.89UNSAT
k_d4_n-81.62SAT
k_d4_n-92.19SAT
k_d4_n-124.3SAT
k_d4_n-134.46SAT
k_d4_n-145.7SAT
k_d4_n-156.2SAT
k_d4_n-167.36SAT
k_grz_n-18601.96SAT
k_grz_p-192.44UNSAT
k_t4p_n-1922.15SAT
k_t4p_n-1411.21SAT
k_t4p_n-1512.76SAT
k_t4p_n-1716.04SAT
k_t4p_n-1310.74SAT
k_t4p_n-1819.66SAT
k_t4p_p-122.58UNSAT
k_t4p_p-195.48UNSAT
k_t4p_p-164.12UNSAT
k_t4p_p-185.07UNSAT
test3_quant210.03UNSAT
test5_quant72.98SAT
test3_quant_squaring27.19UNSAT
test5_quant_squaring41.17SAT
test5_quant_squaring53.09SAT