root
file
detailed [3350..3374]
prev
next
detailed results (349691 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3013766143867927807.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3011621019999173102.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3010951966916795660.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3009892311400414766.smt2
(content)
ok
ok
0.165s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3001341022652911751.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt299903243118940694.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2998228596241694570.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt299064312225894654.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2981150977521921580.smt2
(content)
ok
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2980345971445773581.smt2
(content)
ok
ok
0.165s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2978868775339750019.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2972435604341125203.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2972283443120435529.smt2
(content)
ok
ok
0.146s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2971635639853988828.smt2
(content)
ok
ok
0.165s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2968112963950155083.smt2
(content)
ok
ok
0.136s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt296741703777562894.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2967043808620894773.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2963449000087392282.smt2
(content)
ok
ok
0.134s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2962539116971145350.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2961156475236994864.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2955478889681870273.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2954168445897108342.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2953695117331543025.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2945929420141235787.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2945122671101297402.smt2
(content)
ok
ok
0.122s