Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks / DL98 @ master

Name Size
DL98_alc_branch_sat.txt 752 KB
DL98_alc_branch_unsat.txt 753 KB
DL98_alc_d4_sat.txt 147 KB
DL98_alc_d4_unsat.txt 112 KB
DL98_alc_dum_sat.txt 46.3 KB
DL98_alc_dum_unsat.txt 41.7 KB
DL98_alc_grz_sat.txt 85 KB
DL98_alc_grz_unsat.txt 83.9 KB
DL98_alc_lin_sat.txt 184 KB
DL98_alc_lin_unsat.txt 80.6 KB
DL98_alc_path_sat.txt 270 KB
DL98_alc_path_unsat.txt 240 KB
DL98_alc_ph_sat.txt 714 KB
DL98_alc_ph_unsat.txt 713 KB
DL98_alc_poly_sat.txt 153 KB
DL98_alc_poly_unsat.txt 152 KB
DL98_alc_t4p_sat.txt 93.1 KB
DL98_alc_t4p_unsat.txt 52.2 KB
DL98_alc_tbox_branch_sat.txt 1.89 MB
DL98_alc_tbox_branch_unsat.txt 1.89 MB
DL98_alc_tbox_d4_sat.txt 484 KB
DL98_alc_tbox_d4_unsat.txt 365 KB
DL98_alc_tbox_dum_sat.txt 136 KB
DL98_alc_tbox_dum_unsat.txt 121 KB
DL98_alc_tbox_grz_sat.txt 268 KB
DL98_alc_tbox_grz_unsat.txt 265 KB
DL98_alc_tbox_lin_sat.txt 553 KB
DL98_alc_tbox_lin_unsat.txt 227 KB
DL98_alc_tbox_path_sat.txt 901 KB
DL98_alc_tbox_path_unsat.txt 800 KB
DL98_alc_tbox_ph_sat.txt 1.22 MB
DL98_alc_tbox_ph_unsat.txt 1.22 MB
DL98_alc_tbox_poly_sat.txt 496 KB
DL98_alc_tbox_poly_unsat.txt 495 KB
DL98_alc_tbox_t4p_sat.txt 277 KB
DL98_alc_tbox_t4p_unsat.txt 151 KB
LWB_alc_branch_sat.txt 562 KB
LWB_alc_branch_unsat.txt 563 KB
LWB_alc_d4_sat.txt 120 KB
LWB_alc_d4_unsat.txt 91.7 KB
LWB_alc_dum_sat.txt 34.7 KB
LWB_alc_dum_unsat.txt 31.1 KB
LWB_alc_grz_sat.txt 62.4 KB
LWB_alc_grz_unsat.txt 61.4 KB
LWB_alc_lin_sat.txt 137 KB
LWB_alc_lin_unsat.txt 60.1 KB
LWB_alc_path_sat.txt 220 KB
LWB_alc_path_unsat.txt 196 KB
LWB_alc_ph_sat.txt 570 KB
LWB_alc_ph_unsat.txt 570 KB
LWB_alc_poly_sat.txt 114 KB
LWB_alc_poly_unsat.txt 114 KB
LWB_alc_t4p_sat.txt 74.7 KB
LWB_alc_t4p_unsat.txt 41.8 KB

Latest revisions

# Date Author Comment
4fd28192 10/03/2013 10:34 PM Thorsten WiƟmann

Initial commit

It contains the most current tarball created by the original author
Florian Widmann.

View revisions

Also available in: Atom