root
file
detailed [26775..26799]
prev
next
detailed results (330073 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1172.smt2
(content)
ok
ok
0.190s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1170.smt2
(content)
ok
ok
0.117s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1117.smt2
(content)
ok
ok
0.121s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1107.smt2
(content)
ok
ok
0.177s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1072.smt2
(content)
ok
ok
0.163s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_1070.smt2
(content)
ok
ok
0.176s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested6_true-unreach-call.i_7.smt2
(content)
ok
ok
0.125s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_798.smt2
(content)
ok
ok
0.173s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_678.smt2
(content)
ok
ok
0.197s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_673.smt2
(content)
ok
ok
0.166s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_671.smt2
(content)
ok
ok
0.242s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_670.smt2
(content)
ok
ok
0.165s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_657.smt2
(content)
ok
ok
0.181s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_597.smt2
(content)
ok
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_297.smt2
(content)
ok
ok
0.132s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_276.smt2
(content)
ok
ok
0.120s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_237.smt2
(content)
ok
ok
0.170s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_2317.smt2
(content)
ok
ok
0.173s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_2207.smt2
(content)
ok
ok
0.119s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_187.smt2
(content)
ok
ok
0.135s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_1657.smt2
(content)
ok
ok
0.125s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_127.smt2
(content)
ok
ok
0.168s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/MADWiFi-encode_ie_ok_true-unreach-call.i_7.smt2
(content)
ok
ok
0.115s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/MADWiFi-encode_ie_ok_true-unreach-call.i_17.smt2
(content)
ok
ok
0.119s
dolmen-strict
/home/guillaume/bench/smtlib/AUFNIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0011.fof.smt2
(content)
ok
ok
0.137s