root
file
detailed [33550..33574]
prev
next
detailed results (92284 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285182_0xe7af5e_00.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285174_0xe7af45_00.smt2
(content)
ok
ok
0.935s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285172_0xe7af40_00.smt2
(content)
ok
ok
1.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285152_0xe73227_00.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285004_0xe73e4e_00.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_161367_0xe7b231_00.smt2
(content)
ok
ok
0.033s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_021021_0x7c80d002_00.smt2
(content)
ok
ok
0.133s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_020931_0x95026e6_00.smt2
(content)
ok
ok
0.122s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_020518_0x950130a_00.smt2
(content)
ok
ok
0.131s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_020055_0x95026e6_00.smt2
(content)
ok
ok
0.074s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_019659_0x950130a_00.smt2
(content)
ok
ok
0.078s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_019196_0x95026e6_00.smt2
(content)
ok
ok
0.113s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_018783_0x950130a_00.smt2
(content)
ok
ok
0.112s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_018320_0x95026e6_00.smt2
(content)
ok
ok
0.055s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_017924_0x950130a_00.smt2
(content)
ok
ok
0.077s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_017461_0x95026e6_00.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_017116_0x950130a_00.smt2
(content)
ok
ok
0.056s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_016653_0x95026e6_00.smt2
(content)
ok
ok
0.080s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__020079.smt2
(content)
ok
ok
0.130s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__019220.smt2
(content)
ok
ok
0.077s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__018344.smt2
(content)
ok
ok
0.070s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__017485.smt2
(content)
ok
ok
0.097s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__016677.smt2
(content)
ok
ok
0.058s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__015818.smt2
(content)
ok
ok
0.026s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__014959.smt2
(content)
ok
ok
0.046s