SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84309_0 05:43:07 (05:39:43) 99,01 96,667 00:12:23 06d,07:43:15 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84302_1 06:04:43 (06:01:15) 99,05 93,333 00:24:47 06d,07:38:43 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84266_0 05:46:24 (05:43:16) 99,10 93,333 00:24:47 06d,07:39:28 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84356_0 05:38:09 (05:34:47) 99,00 93,333 00:24:47 06d,07:55:43 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84364_0 05:25:45 (05:22:40) 99,05 90,000 00:37:10 06d,07:57:07 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84145_0 05:17:44 (05:15:00) 99,14 83,333 01:01:57 06d,06:58:04 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84170_0 04:42:31 (04:39:59) 99,10 80,000 01:14:21 06d,07:15:48 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84235_1 04:25:42 (04:23:21) 99,12 73,333 01:39:08 06d,07:31:01 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84197_1 04:26:15 (04:23:47) 99,08 66,667 02:03:55 06d,07:15:48 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84327_1 03:44:12 (03:42:34) 99,27 63,333 02:16:19 06d,07:59:24 Running 86,6 °C 0 Aphrodite
WUProp@Home 4.20 Data collect version 4 (nci) data_collect_v4_1431164024_787737_0 02:16:11 (00:00:14) 0,18 37,950 03:42:40 09d,21:43:40 0,025C Running < 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--84403_1 01:48:01 (01:47:21) 99,38 26,667 04:32:38 06d,08:06:13 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--85378_1 00:26:24 (00:26:13) 99,33 6,667 05:47:00 06d,12:51:09 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--85410_0 00:24:52 (00:24:41) 99,23 3,333 05:59:24 06d,12:54:21 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--85481_0 00:08:24 (00:08:20) 99,13 2,553 06:07:36 06d,13:12:44 Running 86,6 °C 0 Aphrodite
SAT@home 3.20 ParallelAndDistributedSATsolver ls_diag10_2_10N3R5K--85605_0 00:03:35 (00:03:33) 99,22 1,099 06:10:00 06d,13:51:53 Running 86,6 °C 0 Aphrodite