root
file
detailed [17275..17299]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2726341064659581232.smt2
(content)
ok
ok
0.296s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2723980726144608079.smt2
(content)
ok
ok
0.281s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt271820639918932719.smt2
(content)
ok
ok
0.218s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2716097153918058426.smt2
(content)
ok
ok
0.151s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2715397632170298274.smt2
(content)
ok
ok
0.161s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2709919526989949188.smt2
(content)
ok
ok
0.170s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2709373320751173187.smt2
(content)
ok
ok
0.147s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2708528116159597819.smt2
(content)
ok
ok
0.159s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2707800216695384462.smt2
(content)
ok
ok
0.148s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2705816958409515000.smt2
(content)
ok
ok
0.216s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2705445141688314143.smt2
(content)
ok
ok
0.156s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt270520276852834413.smt2
(content)
ok
ok
0.141s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2702321311309390293.smt2
(content)
ok
ok
0.223s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2701145581086723516.smt2
(content)
ok
ok
0.148s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2700696610849039803.smt2
(content)
ok
ok
0.220s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2698808285481489024.smt2
(content)
ok
ok
0.170s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2693797359418632223.smt2
(content)
ok
ok
0.145s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2692768588358671641.smt2
(content)
ok
ok
0.159s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2691831582932817213.smt2
(content)
ok
ok
0.215s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2691634501768546723.smt2
(content)
ok
ok
0.211s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2689331847761091271.smt2
(content)
ok
ok
0.142s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2689043046447407041.smt2
(content)
ok
ok
0.227s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt268887733793602547.smt2
(content)
ok
ok
0.303s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2688594200630416639.smt2
(content)
ok
ok
0.210s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt26877093617848982.smt2
(content)
ok
ok
0.300s